GNU MPFR - PDFSEARCH.IO - Document Search Engine

GNU MPFR
Results: 33

#	Item
11	Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Rounding GNU MPFR IEEE floating point Floating point Double-precision floating-point format Signed zero Significant figures C99 GNU Multiple Precision Arithmetic Library Multiplyaccumulate operation Single-precision floating-point format
12	The Generic Multiple-Precision Floating-Point Addition With Correct Rounding (as in the MPFR Library) Vincent L EFÈVRE Loria / INRIA Lorraine 6th Conference on Real Numbers and Computers Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR Floating point Rounding Significant figures
13	Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Extended precision Floating point Double-precision floating-point format Interval arithmetic Exponentiation
14	Hardest-to-Round Cases Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Exponentials GNU MPFR Double-precision floating-point format DWIM Exponential function Exponentiation
15	The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Mathematics Computer arithmetic Arithmetic Numerical analysis Functions and mappings Interval arithmetic Interval Rounding Integral GNU MPFR Mode Function
16	Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-06-28 09:41:10 Computer arithmetic Arithmetic Mathematics Computing Rounding IEEE floating point GNU MPFR Arbitrary-precision arithmetic Division algorithm Unit in the last place Pi Double-precision floating-point format
17	Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011 Add to Reading List Source URL: caramba.loria.fr Language: English - Date: 2016-06-13 15:37:32 Mathematics Computer arithmetic Software Algebra Paul Zimmermann Division algorithm GNU Multiple Precision Arithmetic Library GNU MPFR Rounding Division Integer Remainder
18	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point
19 $Software / Computing / Mathematical analysis / Computer arithmetic / Continued fractions / Fraction / Configure script / GNU Multiple Precision Arithmetic Library / GNU MPFR / Const / Pi$	libContinuedFraction for version 0.5.0, 4 October 2004 Johan Vervloet () This manual is for libContinuedFraction (version 0.5.0, 4 October 2004), a library which Add to Reading List Source URL: oud.losderover.be Language: English - Date: 2006-09-27 13:02:36 Software Computing Mathematical analysis Computer arithmetic Continued fractions Fraction Configure script GNU Multiple Precision Arithmetic Library GNU MPFR Const Pi
20	Motivations for an arbitrary precision interval arithmetic and the MPFI library N. Revol ()∗ ´ INRIA, Project Arenaire, LIP (CNRS/ENSL/INRIA/UCBL), Ecole Normale Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2005-01-20 08:54:54 Computer arithmetic GNU MPFR Interval arithmetic Floating point Rounding GNU Multiple Precision Arithmetic Library Precision Machine epsilon Arbitrary-precision arithmetic IEEE floating point Significant figures Interval

UPDATE